((v5 v4 9) (v7 v11 5) (v8 v11 7) (v5 v8 4) (v2 v3 5) (v11 v6 6) (v7 v8 8) (v4 v9 2) (v10 v9 5) (v7 v6 6) (v6 v8 3) (v5 v11 4) (v9 v8 3) (v11 v3 4) (v4 v10 0) (v10 v6 1) (v3 v6 0) (v8 v2 7) (v5 v1 1) (v10 v7 8) (v3 v10 3) (v8 v4 8) (v9 v6 0) (v11 v4 4) (v9 v1 2) (v1 v8 1) (v5 v6 6) (v11 v9 9) (v3 v1 1) (v2 v1 7) (v9 v3 2) (v5 v3 3) (v8 v10 0))
113
((v7 v2) (v3 v1) (v4 v9) (v5 v6) (v6 v1))